821. Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993: proceedings
المؤلف: Michael Clarke, Rudolf Kruse, Serafin Moral )eds.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
747
822. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Uncertainty )Information theory(-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
375
.
E88
1993
823. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU'93, Granada, Spain, November 8-10, 1993 : proceedings
المؤلف: Michael Clarke, Rudolf Kruse, Serafin Moral )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
747
824. Symbolic computation and education
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: assisted instruction ; Congresses. ; Computable functions ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; -Mathematics ; Computer
825. Symbolic computation and education
المؤلف: / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics--Computer-assisted instruction--Congresses,Computable functions--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
20
,.
C65
,
I585
,
2006
826. Symbolic rewriting technique
المؤلف: / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Rewriting systems (Computer science)- Congresses,Grobner bases- Congresses,Numerical analysis- Data processing- Congresses
رده :
QA267
.
S88
1998
827. Symbolic rewriting technique
المؤلف: / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Rewriting systems (Computer science)- Congresses,Grobner bases- Congresses,Numerical analysis- Data processing- Congresses
رده :
QA267
.
S88
1998
828. Symbolic rewriting technique
المؤلف: / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Rewriting systems (Computer science)- Congresses,Grobner bases- Congresses,Numerical analysis- Data processing- Congresses
رده :
QA267
.
S88
1998
829. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
المؤلف: edited by Harmut Ehrig...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
830. Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
المؤلف: C. Neville Dean, Raymond T. Boute )eds.(
المکتبة: (طهران)
موضوع: Study and teaching -- Congresses ، Formal methods )Computer science(,Study and teaching -- Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3294
831. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
المؤلف: A. Fuhrmann, M. Morreau )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
465
832. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
L5663
1991
833. The semantic web -- ISWC 2018 :
المؤلف: Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
رده :
TK5105
.
88815
834. Theorem proving in higher order logic
المؤلف: / Stefan Berghofer ... [et al.] (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses
رده :
QA
,
76
.
9
,.
A96
,
T655
,
2009
835. Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings
المؤلف: Jim Grundy, Malcolm Newey, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1479
836. Theorem proving with analytic tableaux and related methods :
المؤلف: Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
رده :
QA76
.
9
.
A96
P484
1995
837. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings
المؤلف: P. Miglioli ... ]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1071
838. Theoretical Aspects of Computing – ICTAC 2015
المؤلف: \ edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Computer logic.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری
رده :
QA76
.
T46
2015
E-Book
,
839. Theoretical aspects of computing -- ICTAC 2018 :
المؤلف: Bernd Fischer, Tarmo Uustalu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
